%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             Languages
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\ioname}{\mathcal{IO}}
\newcommand{\luname}{\mathcal{LU}}


\newcommand{\evol}[1]{\ensuremath{\mathcal{E}^{\mathtt{#1}}}\xspace}

\newcommand{\outC}[1]{\overline{#1}}  % output
\newcommand{\component}[2]{#1 [#2]   }  %a[P]
\newcommand{\update}[2]{{#1}\{#2\} } % a{P}
\newcommand{\up}[1]{\hat{#1}}
\newcommand{\loc}[1]{\check{#1}}


\newcommand{\restr}[2]{\nu #1 \ #2}
\newcommand{\conc}[2]{\langle #1 \rangle  #2}

\def\nil{{\boldsymbol 0}} %nil = 0

\def\sub#1#2{\{\raisebox{.5ex}{\small$#1$}\! / \mbox{\small$#2$}\}} %substitution


% Command for context
\newcommand{\fillcon}[2]{\ensuremath{#1\langle\!\langle #2 \rangle\!\rangle}}  % 1 << 2 >>

\newcommand{\CStr}{\ensuremath{\mathsf{St}}}









%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             Arrows and LTSs
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\rulename}[1]{\textsc{(#1)}}
\newcommand{\arro}[1]{\xrightarrow[]{#1}}

\newcommand{\proj}[2]{\ensuremath{#1\downarrow#2}}

\newcommand{\pired}{\longrightarrow} %-->

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             Shortcuts
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%separator
\newcommand{\sepr}{ \  \mid \ }

\newcommand{\til}[1]{\widetilde{#1}}

\newcommand{\andalso}{\quad\quad}


\newcommand{\out}[1]{\outC{#1}}%output nel processo



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             Encodings and MM
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Encoding
\newcommand{\encp}[2]{\llbracket #1 \rrbracket_{#2}}

% Encoding of numbers for the MM encoding:
\newcommand{\on}{(\!|}
\newcommand{\cn}{|\!)}
\newcommand{\encn}[2]{\on #1 \cn_{#2}}
\newcommand{\encu}[1]{\on #1 \cn}


\newcommand{\mmn}[1]{\ensuremath{\mathsf{#1}}}
\newcommand{\mmss}{MMs\xspace}
\newcommand{\mm}{MM\xspace}

\newcommand{\minskred}{\longrightarrow_{\textrm{\textsc{M}}}}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             WSTS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\newcommand{\fb}[2]{\mathtt{FB}_{#2}(#1)}

\newcommand{\seqsub}{\mathtt{ss}}
\newcommand{\subp}{\seqsub}
\newcommand{\procleq}{\preceq}
\newcommand{\Tree}{\mathsf{Tr}}
\newcommand{\pbs}{\mathtt{pb}^*}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%             Comments
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\newcommand{\todo}[1]{\textcolor{red}{\textbf{#1}}}
